Computable Randomness is Inherently Imprecise
نویسندگان
چکیده
We use the martingale-theoretic approach of game-theoretic probability to incorporate imprecision into the study of randomness. In particular, we define a notion of computable randomness associated with interval, rather than precise, forecasting systems, and study its properties. The richer mathematical structure that thus arises lets us better understand and place existing results for the precise limit. When we focus on constant interval forecasts, we find that every infinite sequence of zeroes and ones has an associated filter of intervals with respect to which it is computably random. It may happen that none of these intervals is precise, which justifies the title of this paper. We illustrate this by showing that computable randomness associated with non-stationary precise forecasting systems can be captured by a stationary interval forecast, which must then be less precise: a gain in model simplicity is thus paid for by a loss in precision.
منابع مشابه
Algorithmic randomness over general spaces
Algorithmic randomness over general spaces has been considered such as an effective topological space and a computable metric space. In this paper we generalize algorithmic randomness to a computable topological space. First we define computable measures on a computable topological space and study computability of the evaluation. Next we define randomnesses via three approaches. Measure randomn...
متن کاملLowness for Computable and Partial Computable Randomness
Ambos-Spies and Kucera [1, Problem 4.8] asked whether there is a non-computable set which is low for the computably random sets. We show that no such set exists. The same result holds for partial computable randomness. Each tally language that is low for polynomial randomness is on a polynomial time tree of bounded width. This research was done in 2003 but has not been published so far.
متن کاملSubcomputable Schnorr Randomness
The notion of Schnorr randomness refers to computable reals or computable functions. We propose a version of Schnorr randomness for subcomputable classes and characterize it in different ways: by Martin-Löf tests, martingales or measure computable machines. Mathematics Subject Classification: 03D25, 68Q15 .
متن کاملRandomness and Differentiability
We characterize some major algorithmic randomness notions via differentiability of effective functions. (1) We show that a real number z ∈ [0, 1] is computably random if and only if every nondecreasing computable function [0, 1] → R is differentiable at z. (2) A real number z ∈ [0, 1] is weakly 2-random if and only if every almost everywhere differentiable computable function [0, 1] → R is diff...
متن کاملEffective Randomness for Computable Probability Measures
Any notion of effective randomness that is defined with respect to arbitrary computable probability measures canonically induces an equivalence relation on such measures for which two measures are considered equivalent if their respective classes of random elements coincide. Elaborating on work of Bienvenu [1], we determine all the implications that hold between the equivalence relations induce...
متن کامل